2016-08-26 16:23:25 +02:00
|
|
|
#!/usr/bin/env bash
|
2016-06-27 16:40:47 +02:00
|
|
|
|
2016-07-28 13:33:10 +02:00
|
|
|
CURRENT_PATH="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
|
2016-06-27 16:40:47 +02:00
|
|
|
|
2016-07-28 13:33:10 +02:00
|
|
|
bash "$CURRENT_PATH/compiler.sh" 1
|