3 die() {

     3 die() {

     4     echo $*

     4     echo $*

     5     exit 1

     5     exit 1

     6 }

     6 }

     7 

     7 

     9 

     9 

    10 if [ $# -eq 0 ]; then

    10 if [ $# -eq 0 ]; then

    11     tag="$default_tag"

    11     tag="$default_tag"

    12 elif [ $# -eq 1 ]; then

    12 elif [ $# -eq 1 ]; then

    13     tag=$1

    13     tag=$1

    33 excluded_directories="$excluded_directories JavaScriptCore/wtf/mac"

    33 excluded_directories="$excluded_directories JavaScriptCore/wtf/mac"

    34 excluded_directories="$excluded_directories JavaScriptCore/wtf/win"

    34 excluded_directories="$excluded_directories JavaScriptCore/wtf/win"

    35 excluded_directories="$excluded_directories JavaScriptCore/wtf/chromium"

    35 excluded_directories="$excluded_directories JavaScriptCore/wtf/chromium"

    36 excluded_directories="$excluded_directories JavaScriptCore/wtf/haiku"

    36 excluded_directories="$excluded_directories JavaScriptCore/wtf/haiku"

    37 excluded_directories="$excluded_directories JavaScriptCore/icu"

    37 excluded_directories="$excluded_directories JavaScriptCore/icu"

    38 

    40 

    39 

    41 

    40 files_to_remove=""

    42 files_to_remove=""

    41 files_to_remove="$files_to_remove JavaScriptCore/AllInOneFile.cpp"

    43 files_to_remove="$files_to_remove JavaScriptCore/AllInOneFile.cpp"

    42 files_to_remove="$files_to_remove JavaScriptCore/JavaScriptCoreSources.bkl"

    44 files_to_remove="$files_to_remove JavaScriptCore/JavaScriptCoreSources.bkl"

    43 files_to_remove="$files_to_remove JavaScriptCore/jscore.bkl"

    45 files_to_remove="$files_to_remove JavaScriptCore/jscore.bkl"

    44 files_to_remove="$files_to_remove JavaScriptCore/jsc.pro"

    46 files_to_remove="$files_to_remove JavaScriptCore/jsc.pro"

    45 

    50 

    46 require_clean_work_tree() {

    51 require_clean_work_tree() {

    47     # test if working tree is dirty

    52     # test if working tree is dirty

    48     git rev-parse --verify HEAD > /dev/null &&

    53     git rev-parse --verify HEAD > /dev/null &&

    49     git update-index --refresh &&

    54     git update-index --refresh &&