diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -75,6 +75,12 @@ out/split_for_sort: out src/split_for_sort.c include/trace_macros.h out/debug/split_for_sort: out/debug src/split_for_sort.c include/trace_macros.h ${CC} -o $@ ${CFLAGS} ${DEBUG_CFLAGS} src/split_for_sort.c +out/strlen: out src/strlen.c + ${CC} -o $@ ${CFLAGS} ${PROD_CFLAGS} src/strlen.c + +out/debug/strlen: out/debug src/strlen.c + ${CC} -o $@ ${CFLAGS} ${DEBUG_CFLAGS} src/strlen.c + out/tree_based_check: out src/tree_based_check.c \ include/trace_macros.h include/hex_conversion.h ${CC} -o $@ ${CFLAGS} ${PROD_CFLAGS} src/tree_based_check.c |