diff options
| -rw-r--r-- | .gitignore | 2 | ||||
| -rw-r--r-- | config-device (renamed from .config-device) | 0 | ||||
| -rw-r--r-- | config-linux (renamed from .config-linux) | 0 | ||||
| -rw-r--r-- | config-mac (renamed from .config-mac) | 0 | ||||
| -rwxr-xr-x | post_update.sh | 4 |
5 files changed, 3 insertions, 3 deletions
@@ -1,5 +1,5 @@ syntax: glob -/.config.old +.config* .single* change/ generated/ diff --git a/.config-device b/config-device index cae98bfb..cae98bfb 100644 --- a/.config-device +++ b/config-device diff --git a/.config-linux b/config-linux index 59b5745a..59b5745a 100644 --- a/.config-linux +++ b/config-linux diff --git a/.config-mac b/config-mac index b0b928ea..b0b928ea 100644 --- a/.config-mac +++ b/config-mac diff --git a/post_update.sh b/post_update.sh index 39aefde8..c07d65ae 100755 --- a/post_update.sh +++ b/post_update.sh @@ -16,14 +16,14 @@ function generate() { # These are the only generated files we actually need. files="config.h flags.h globals.h help.h newtoys.h tags.h" - cp .config-$which .config + cp config-$which .config NOBUILD=1 scripts/make.sh out=android/$which/generated/ mkdir -p $out for f in $files; do cp generated/$f $out/$f ; done rm -rf .config generated/ - make allnoconfig KCONFIG_ALLCONFIG=.config-$which + make allnoconfig KCONFIG_ALLCONFIG=config-$which } generate "device" |