File indexing completed on 2026-04-12 14:28:24 

0001 #!/bin/bash
0002 
0003 # Exit if something fails
0004 set -e
0005 
0006 cd build
0007 sudo make uninstall