diff options
| -rw-r--r-- | extra/Configs/Config.arm | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/extra/Configs/Config.arm b/extra/Configs/Config.arm index b2fa6f757..84df57da4 100644 --- a/extra/Configs/Config.arm +++ b/extra/Configs/Config.arm @@ -43,6 +43,10 @@ NM = $(CROSS)nm STRIPTOOL = $(CROSS)strip #STRIPTOOL = /bin/true +# +# just in case someone wants to use it +ARCH_CFLAGS= + # Set the following to `true' to make a debuggable build, and `false' for # production builds. DODEBUG = false |