test

NeuralNetworkVerification · Aug 22, 2024 · fefcdf0 · fefcdf0
1 parent 2a2f6a2
commit fefcdf0
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/tools/download_boost.sh b/tools/download_boost.sh
@@ -13,6 +13,8 @@ wget -q https://sourceforge.net/projects/boost/files/boost/$version/boost_$under
 
 echo "Unzipping boost"
 tar xzvf boost-$version.tar.gz >> /dev/null
+
+ls ./
 mv boost_$underscore_version boost-$version
 
 echo "Installing boost"