From 275fd8e40a5d4e1c347d5055c30a9d37871c892f Mon Sep 17 00:00:00 2001
From: Joris van Zwieten <zwieten@astron.nl>
Date: Thu, 16 Nov 2006 17:52:13 +0000
Subject: [PATCH] BugID: 971 - fixed (push should be pushd)
---
autoconf_share/rub | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/autoconf_share/rub b/autoconf_share/rub
index 7ffd05f705c..b6b65008c31 100755
--- a/autoconf_share/rub
+++ b/autoconf_share/rub
@@ -675,7 +675,7 @@ if [ $boot = 1 ]; then
echo "" >> build.log
echo " bootstrapping package $pkg ..."
- cd $curwd/$pkg >> $curwd/build.log 2>&1
+ pushd $curwd/$pkg >> $curwd/build.log 2>&1
rm -rf autom4te.cache >> $curwd/build.log 2>&1
# Try to set execution permissions, ignore failure.
@@ -688,6 +688,8 @@ if [ $boot = 1 ]; then
exit 1
fi
+ popd >> $curwd/build.log 2>&1
+
echo $pkg '# bootstrapped at' `date` >> $curwd/build.result; >> $curwd/build.log 2>&1
done
echo "" >> build.log
--
GitLab