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