Update make_docs.sh

facebook · Feb 3, 2025 · 8f3196a · 8f3196a
1 parent 43e8e86
commit 8f3196a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/scripts/make_docs.sh b/scripts/make_docs.sh
@@ -5,7 +5,7 @@
 # LICENSE file in the root directory of this source tree.
 
 # Exit if any error occurs
-set -e
+# set -e
 
 usage() {
   echo "Usage: $0 [-b] [-o] [-r] [-t]"