diff options
Diffstat (limited to 'libs/ezsat/Makefile')
| -rw-r--r-- | libs/ezsat/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/libs/ezsat/Makefile b/libs/ezsat/Makefile index 1dcb5d15b..b1f864160 100644 --- a/libs/ezsat/Makefile +++ b/libs/ezsat/Makefile @@ -18,7 +18,8 @@ test: all ./testbench ./demo_bit ./demo_vec - ./demo_cmp + # ./demo_cmp + # ./puzzle3d clean: rm -f demo_bit demo_vec demo_cmp testbench puzzle3d *.o *.d |