3bc4e557a214cb4ffb7b9468b0c6b439efe356fb
[akaros.git] / scripts / one-time-setup.sh
1 #!/bin/bash
2
3 if [ -z "$AKAROS_ROOT" ]
4 then
5         echo Error: you need to set AKAROS_ROOT
6         exit -1
7 fi
8
9 if [ -z "$AKAROS_XCC_ROOT" ]
10 then
11         echo Error: you need to set AKAROS_ROOT
12         exit -1
13 fi