diff options
Diffstat (limited to 'configs/linux-debug')
| -rw-r--r-- | configs/linux-debug | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/configs/linux-debug b/configs/linux-debug deleted file mode 100644 index 60e0b9769f7..00000000000 --- a/configs/linux-debug +++ /dev/null @@ -1,9 +0,0 @@ -# Configuration for debugging on Linux - -include $(TOP)/configs/linux - -CONFIG_NAME = linux-debug - -OPT_FLAGS = -g -#CFLAGS += -pedantic -DEFINES += -DDEBUG -DDEBUG_MATH |