configure

changeset 73
072fa3e165f0
parent 72
b533da8e7411
child 74
831928419249
     1.1 --- a/configure	Sun Sep 24 18:43:58 2023 +0200
     1.2 +++ b/configure	Sun Sep 24 18:48:42 2023 +0200
     1.3 @@ -29,8 +29,6 @@
     1.4  MANDIR=
     1.5  
     1.6  # custom variables
     1.7 -MKDIR="mkdir -p"
     1.8 -RMDIR="rm -fR"
     1.9  
    1.10  # features
    1.11  
    1.12 @@ -176,8 +174,6 @@
    1.13  INCLUDEDIR="$INCLUDEDIR"
    1.14  INFODIR="$INFODIR"
    1.15  MANDIR="$MANDIR"
    1.16 -MKDIR=$MKDIR
    1.17 -RMDIR=$RMDIR
    1.18  __EOF__
    1.19  sort -u -o "$TEMP_DIR/vars.mk" "$TEMP_DIR/vars.mk"
    1.20  
    1.21 @@ -253,6 +249,11 @@
    1.22              break
    1.23          fi
    1.24  
    1.25 +        cat >> "$TEMP_DIR/make.mk" << __EOF__
    1.26 +MKDIR=mkdir -p
    1.27 +RMDIR=rm -fR
    1.28 +
    1.29 +__EOF__
    1.30          break
    1.31      done
    1.32      break

mercurial