diff options
-rw-r--r-- | lang/seed7/files/patch-makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lang/seed7/files/patch-makefile b/lang/seed7/files/patch-makefile index 966804a1b6c0..084912c0754a 100644 --- a/lang/seed7/files/patch-makefile +++ b/lang/seed7/files/patch-makefile @@ -5,7 +5,7 @@ # CFLAGS = -O2 -g -Wall -Wstrict-prototypes -Winline -Wconversion -Wshadow -Wpointer-arith -ftrapv # CFLAGS = -O2 -g -x c++ -Wall -Winline -Wconversion -Wshadow -Wpointer-arith -CFLAGS = -O2 -g -ffunction-sections -fdata-sections -Wall -Wstrict-prototypes -Winline -Wconversion -Wshadow -Wpointer-arith -+CFLAGS = -ffunction-sections -fdata-sections -Wall -Wstrict-prototypes -Winline -Wconversion -Wshadow -Wpointer-arith -I%%LOCALBASE%%/include ++CFLAGS += -ffunction-sections -fdata-sections -Wall -Wstrict-prototypes -Winline -Wconversion -Wshadow -Wpointer-arith -I%%LOCALBASE%%/include # CFLAGS = -O2 -g -ffunction-sections -fdata-sections -Wall -Winline -Wconversion -Wshadow -Wpointer-arith # CFLAGS = -O2 -g -std=c99 -Wall -Wstrict-prototypes -Winline -Wconversion -Wshadow -Wpointer-arith # CFLAGS = -O2 -g -Wall -Winline -Wconversion -Wshadow -Wpointer-arith |