diff options
| author | Ryan Harkin <ryan.harkin@linaro.org> | 2015-08-25 16:39:46 +0100 |
|---|---|---|
| committer | Ryan Harkin <ryan.harkin@linaro.org> | 2015-08-25 18:08:08 +0100 |
| commit | eb7033404f5e481f10eaff3d478c9ff18ce038b7 (patch) | |
| tree | 224f76bbad114f7f84ac6e7e6a9f1fa5edf769b9 | |
| parent | affb32d83ab0cc1ecd15938bc2e9ed028a8f33de (diff) | |
build-linux.sh: CONFIG_GATOR=yarmlt-20150825armlt-15.09armlt-15.0815.0915.08
Gator defaults to being a module, but we don't use modules, so make
gator built-in.
Signed-off-by: Ryan Harkin <ryan.harkin@linaro.org>
| -rwxr-xr-x | build-linux.sh | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/build-linux.sh b/build-linux.sh index 222a81e..2f1bc4d 100755 --- a/build-linux.sh +++ b/build-linux.sh @@ -56,7 +56,10 @@ do_build () for config in $LINUX_CONFIGS; do CONFIG=$CONFIG"linaro/configs/${config}.conf " done - scripts/kconfig/merge_config.sh $CONFIG + EXTRA_CONFIGS=$(mktemp ./.tmp.EXTRA_CONFIGS.XXXXXXXXXX) + echo "CONFIG_GATOR=y" >>${EXTRA_CONFIGS} + scripts/kconfig/merge_config.sh $CONFIG $EXTRA_CONFIGS + rm $EXTRA_CONFIGS else echo "Building using defconfig..." make $LINUX_DEFCONFIG |