diff options
Diffstat (limited to 'build/make.dev')
-rwxr-xr-x | build/make.dev | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/build/make.dev b/build/make.dev new file mode 100755 index 00000000..3eb58186 --- /dev/null +++ b/build/make.dev @@ -0,0 +1,2 @@ +#!/bin/bash +make -j3 V=0 CFLAGS+="-ggdb3 -O0 -Wall -Wextra -Wno-unused-parameter -Wno-sign-compare" $* |