2021-11-22 21:26:55 -08:00
|
|
|
#!/bin/bash
|
2020-09-13 14:39:34 -07:00
|
|
|
set -e
|
|
|
|
set -u
|
|
|
|
|
|
|
|
EET=$1
|
|
|
|
shift
|
2020-11-22 02:43:05 -08:00
|
|
|
ADD_COLOR_SCHEME=$(dirname "$0")/add_color_scheme.sh
|
2020-09-13 14:39:34 -07:00
|
|
|
|
2020-10-07 14:48:04 -07:00
|
|
|
for INI in "$@"
|
2020-09-13 14:39:34 -07:00
|
|
|
do
|
2021-11-22 21:26:55 -08:00
|
|
|
echo "Building $INI"
|
2020-09-13 14:39:34 -07:00
|
|
|
# use the name, without extension as key in eet
|
2021-11-22 21:26:55 -08:00
|
|
|
$ADD_COLOR_SCHEME "$EET" "$INI"
|
2020-09-13 14:39:34 -07:00
|
|
|
done
|