Implement a reverse proxy

1 files changed, 16 insertions, 4 deletions

diff --git a/bootstrap b/bootstrap
index 878bc5c..ea8a192 100755
--- a/bootstrap
+++ b/bootstrap
@@ -4,14 +4,26 @@ autoreconf -vif || exit 1
 sed -i 's|SHELL = /bin/sh|SHELL = @SHELL@|g' po/Makefile.in.in || exit 1
 
 ## Prepare the man pages
+SCRIPTS_THAT_GET_EXECUTED="../src/webid-oidc-issuer ../src/webid-oidc-reverse-proxy"
+
 mkdir -p .native || exit 1
 cd .native || exit 1
 bash ../configure SHELL=$(which sh) || exit 1
-cp ../src/webid-oidc-issuer ../src/webid-oidc-issuer.bak || exit 1
-sed -i "s|/usr/local/bin/guile|$(which guile)|g" ../src/webid-oidc-issuer || exit 1
+
+for file in $SCRIPTS_THAT_GET_EXECUTED
+do
+    cp $file ${file}.bak
+    sed -i "s|/usr/local/bin/guile|$(which guile)|g" $file || exit 1
+done
+
 make -j V=1 || exit 1
 make -j dist || exit 1
-chmod u+w ../src/webid-oidc-issuer || exit 1
-cp ../src/webid-oidc-issuer.bak ../src/webid-oidc-issuer || exit 1
+
+for file in $SCRIPTS_THAT_GET_EXECUTED
+do
+    chmod u+w $file || exit 1
+    cp ${file}.bak $file || exit 1
+done
+
 cd .. || exit 1
 rm -rf .native || exit 1