diff options
| -rwxr-xr-x | Build/tools/tlrebuild | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/Build/tools/tlrebuild b/Build/tools/tlrebuild index b54d34c38c6..8a0ae6fd6ef 100755 --- a/Build/tools/tlrebuild +++ b/Build/tools/tlrebuild @@ -10,6 +10,13 @@ tools=`cd $mydir && pwd` PATH=$tools:$PATH; export PATH umask 0 +if test x$1 = x-n; then + chicken=true + shift +else + chicken=false +fi +# if test x$1 = x--no-tpm; then no_tpm=true shift @@ -55,6 +62,8 @@ message "#3" message "#4" update-tpm || exit 1) | grep -v '^Writing ' +$chicken && exit 0 + # sanity check of tpms, hopefully nothing to report after the update. message "tpm-check" tpm-check || exit 1 |