From 9c877bf6ed39237863b2801682a3532bfee3034d Mon Sep 17 00:00:00 2001 From: Oswald Buddenhagen Date: Tue, 18 Nov 2014 20:11:08 +0100 Subject: [PATCH] remove support for ancient /bin/sh which mishandle empty "$@" Change-Id: Id936a48e8b9a5b8e15512481e464a0e9366b9152 Reviewed-by: Joerg Bornemann --- configure | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) diff --git a/configure b/configure index f44b079ec6..a1861ca006 100755 --- a/configure +++ b/configure @@ -7059,11 +7059,7 @@ fi'` echo "export PKG_CONFIG_SYSROOT_DIR=$PKG_CONFIG_SYSROOT_DIR" >> "$outpath/config.status" [ -n "$PKG_CONFIG_LIBDIR" ] && \ echo "export PKG_CONFIG_LIBDIR=$PKG_CONFIG_LIBDIR" >> "$outpath/config.status" - echo "if [ \"\$#\" -gt 0 ]; then" >> "$outpath/config.status" - echo " $CONFIG_STATUS \"\$@\"" >> "$outpath/config.status" - echo "else" >> "$outpath/config.status" - echo " $CONFIG_STATUS" >> "$outpath/config.status" - echo "fi" >> "$outpath/config.status" + echo "$CONFIG_STATUS \"\$@\"" >> "$outpath/config.status" chmod +x "$outpath/config.status" fi