We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 834726b commit 3273990Copy full SHA for 3273990
scripts/install.sh
@@ -140,14 +140,14 @@ echo "Install polycube"
140
cd $DIR/..
141
if [ "$INSTALL_CLEAN_POLYCUBE" == true ] ; then
142
$SUDO rm -rf build
143
-else
+#else
144
# The above commands are executed only in case of a manual install;
145
# Jenkins runs this script with "$INSTALL_CLEAN_POLYCUBE" = true
146
# The above commands are useful in case you are re-running this
147
# script on an existing install, i.e., update source code and
148
# all the submodules
149
- git pull
150
- git submodule update --init --recursive
+ #git pull
+ #git submodule update --init --recursive
151
fi
152
153
mkdir -p build && cd build
0 commit comments