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