1#!/bin/bash 2 3set -e 4 5rm -rf .config generated/ android/ 6 7function generate() { 8 which=$1 9 echo -e "\n-------- $1\n" 10 11 # These are the only generated files we actually need. 12 files="config.h flags.h globals.h help.h newtoys.h tags.h" 13 14 cp .config-$which .config 15 NOBUILD=1 scripts/make.sh 16 out=android/$which/generated/ 17 mkdir -p $out 18 for f in $files; do cp generated/$f $out/$f ; done 19 rm -rf .config generated/ 20} 21 22generate "device" 23generate "linux" 24generate "mac" 25