diff options
| author | Baruch Sterin <baruchs@gmail.com> | 2012-01-21 18:38:09 -0800 |
|---|---|---|
| committer | Baruch Sterin <baruchs@gmail.com> | 2012-01-21 18:38:09 -0800 |
| commit | 20d05d39fc65c1f4da69ba4a23f93be052b2d62a (patch) | |
| tree | 599153eedbb800997fcab7a07af44f7cc6b94d32 /src/sat/bsat | |
| parent | 88dd9d619f79b869466254a4f6bd1816c7d7bdf6 (diff) | |
| download | abc-20d05d39fc65c1f4da69ba4a23f93be052b2d62a.tar.gz abc-20d05d39fc65c1f4da69ba4a23f93be052b2d62a.tar.bz2 abc-20d05d39fc65c1f4da69ba4a23f93be052b2d62a.zip | |
minor changes to Makefile: (1) use CC instead of gcc to compile arch_flags, and (2) make sure arch_flags is cleaned in make clean
Diffstat (limited to 'src/sat/bsat')
0 files changed, 0 insertions, 0 deletions