# HG changeset patch
# User wenzelm
# Date 1618403773 -7200
# Node ID a96564139fa70056b6fc012bad4ca6dd4734e337
# Parent  8ddf6728ad806f47e95434bd150277f8ee4c4186
more robust bootstrap of components;

diff -r 8ddf6728ad80 -r a96564139fa7 Admin/components/main
--- a/Admin/components/main	Wed Apr 14 14:28:30 2021 +0200
+++ b/Admin/components/main	Wed Apr 14 14:36:13 2021 +0200
@@ -1,11 +1,11 @@
 #main components for everyday use, without big impact on overall build time
+gnu-utils-20210414
 bash_process-1.2.3-1
 bib2xhtml-20190409
 csdp-6.1.1
 cvc4-1.8
 e-2.5-1
 flatlaf-1.0
-gnu-utils-20210414
 isabelle_fonts-20210322
 jdk-15.0.2+7
 jedit_build-20210201
diff -r 8ddf6728ad80 -r a96564139fa7 lib/scripts/getfunctions
--- a/lib/scripts/getfunctions	Wed Apr 14 14:28:30 2021 +0200
+++ b/lib/scripts/getfunctions	Wed Apr 14 14:36:13 2021 +0200
@@ -21,7 +21,13 @@
 export -f platform_path standard_path
 
 #GNU tar (notably on macOS)
-function tar() { "${ISABELLE_TAR:-false}" "$@"; }
+function tar() {
+  if [ -f "$ISABELLE_TAR" ]; then
+    "$ISABELLE_TAR" "$@"
+  else
+    "$(type -P tar)" "$@"
+  fi
+}
 export -f tar
 
 #OCaml management via OPAM