diff options
Diffstat (limited to '.project')
-rw-r--r-- | .project | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/.project b/.project new file mode 100644 index 0000000..4f8d223 --- /dev/null +++ b/.project @@ -0,0 +1,15 @@ +project_name="ixos" + +run() { + $(grt)/build + if [ $? -ne 0 ]; then + echo "[-] Build failed!" + else + $(grt)/run + fi +} + +build() { + $(grt)/build +} +project_name="ixos" |