diff options
Diffstat (limited to 'src/auto/configure')
-rwxr-xr-x | src/auto/configure | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/auto/configure b/src/auto/configure index e603a468c3..a5497d8f78 100755 --- a/src/auto/configure +++ b/src/auto/configure @@ -10254,7 +10254,7 @@ if test -z "$SKIP_MOTIF"; then fi -if -z "$SKIP_MOTIF"; then +if test -z "$SKIP_MOTIF"; then if test -n "$GUI_INC_LOC"; then GUI_INC_LOC=-I"`echo $GUI_INC_LOC|sed 's%-I%%'`" fi |