Parcourir la source

remove the whole gens/

David Garcia Quintas il y a 9 ans
Parent
commit
4f6683c395
1 fichiers modifiés avec 1 ajouts et 1 suppressions
  1. 1 1
      tools/distrib/check_nanopb_output.sh

+ 1 - 1
tools/distrib/check_nanopb_output.sh

@@ -68,4 +68,4 @@ if [ $? != 0 ]; then
   exit 1
 fi
 
-rm -Rf $NANOPB_TMP_OUTPUT
+rm -Rf "${LOCAL_GIT_ROOT}/gens"