diff options
| -rw-r--r-- | configs/default | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/configs/default b/configs/default index d5b40c5cd0..5193c1442d 100644 --- a/configs/default +++ b/configs/default @@ -25,6 +25,7 @@ LDFLAGS = GLU_CFLAGS = # Misc tools and flags +SHELL = /bin/sh MKLIB_OPTIONS = MKDEP = makedepend MKDEP_OPTIONS = -fdepend |