Update update_mathlib.sh

pitmonticone · Oct 5, 2024 · 4105a26 · 4105a26
1 parent 4a54aca
commit 4105a26
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/scripts/update_mathlib.sh b/scripts/update_mathlib.sh
@@ -1,3 +1,5 @@
+#!/usr/bin/env bash
+
 # Update Mathlib and the Lean toolchain.
 
 # Download the latest lean-toolchain file from the Mathlib4 repository