2018-10-28 23:01:09 +01:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
|
|
2018-10-28 23:59:15 +01:00
|
|
|
BASEDIR=$(dirname "$0")
|
2020-03-28 13:58:36 +01:00
|
|
|
cd "$BASEDIR/../" || { echo "Failed to enter parent directory!"; exit 1; }
|
2018-10-28 23:59:15 +01:00
|
|
|
|
2020-03-28 13:58:36 +01:00
|
|
|
#Shared
|
|
|
|
|
./shared/generate_declarations.sh; _exit_code=$?
|
|
|
|
|
[[ $_exit_code -ne 0 ]] && {
|
|
|
|
|
echo "Failed to generate shared ($_exit_code)"
|
2020-08-09 14:30:17 +02:00
|
|
|
}
|
