diff options
Diffstat (limited to 'test/mppa/instr/Makefile')
| -rw-r--r-- | test/mppa/instr/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/mppa/instr/Makefile b/test/mppa/instr/Makefile index 66e40365..b4abb6a4 100644 --- a/test/mppa/instr/Makefile +++ b/test/mppa/instr/Makefile @@ -2,7 +2,7 @@ K1CC ?= k1-mbr-gcc CC ?= gcc CCOMP ?= ccomp OPTIM ?= -O2 -CFLAGS ?= $(OPTIM) -Wl,--wrap=printf +CFLAGS ?= $(OPTIM) SIMU ?= k1-mppa TIMEOUT ?= --signal=SIGTERM 120s |