File indexing completed on 2024-06-16 03:56:33

0001 #!/bin/bash
0002 
0003 if ! [ -d build_debug ]; then
0004         mkdir build_debug
0005 fi
0006 
0007 cd build_debug
0008 
0009 cmake .. -DCMAKE_BUILD_TYPE=DebugFull -DCMAKE_INSTALL_PREFIX=/usr && make -j 4