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