File indexing completed on 2024-12-01 12:36:44
0001 #!/bin/bash 0002 0003 # Exit if something fails 0004 set -e 0005 0006 cd build 0007 sudo make uninstall
File indexing completed on 2024-12-01 12:36:44
0001 #!/bin/bash 0002 0003 # Exit if something fails 0004 set -e 0005 0006 cd build 0007 sudo make uninstall