Cleaned up MenuManager some more, some ownership issues remain, so things will crash...
[supertux.git] / configure
1 #!/bin/bash
2
3 # abort on errors
4 set -e
5
6 mkdir -p build
7 cd build
8 cmake .. "$@"
9