diff options
-rwxr-xr-x | src/auto/configure | 2 | ||||
-rw-r--r-- | src/configure.ac | 2 | ||||
-rw-r--r-- | src/version.c | 2 |
3 files changed, 4 insertions, 2 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 diff --git a/src/configure.ac b/src/configure.ac index ff4a490085..1426e74c5e 100644 --- a/src/configure.ac +++ b/src/configure.ac @@ -3004,7 +3004,7 @@ if test -z "$SKIP_MOTIF"; then AC_SUBST(MOTIF_LIBNAME) fi -if -z "$SKIP_MOTIF"; then +if test -z "$SKIP_MOTIF"; then dnl Prepend -I and -L to $GUI_INC_LOC and $GUI_LIB_LOC if not empty dnl Avoid adding it when it twice if test -n "$GUI_INC_LOC"; then diff --git a/src/version.c b/src/version.c index 2efc6bff35..7861799b08 100644 --- a/src/version.c +++ b/src/version.c @@ -751,6 +751,8 @@ static char *(features[]) = static int included_patches[] = { /* Add new patch number below this line */ /**/ + 4549, +/**/ 4548, /**/ 4547, |