Commits

ysulsky  committed db6e5bc

oasis.sh: remove setup.ml before patching it

  • Participants
  • Parent commits 5171ce0

Comments (0)

Files changed (10)

File base/async/core/oasis.sh

 EOF
 
 cd $HERE
+rm -f setup.ml
 oasis setup
 enable_pack_in_setup_ml async_core
 

File base/async/extra/oasis.sh

 EOF
 
 cd $HERE
+rm -f setup.ml
 oasis setup
 enable_pack_in_setup_ml async_extra
 

File base/async/oasis.sh

 EOF
 
 cd $HERE
+rm -f setup.ml
 oasis setup
 enable_pack_in_setup_ml async
 

File base/async/scheduler/oasis.sh

 EOF
 
 cd $HERE
+rm -f setup.ml
 oasis setup
 enable_pack_in_setup_ml async_scheduler
 

File base/bin-prot/oasis.sh

 EOF
 
 cd $HERE
+rm -f setup.ml
 oasis setup
 enable_pack_in_setup_ml bin_prot
 

File base/core/extended/oasis.sh

 EOF
 
 cd $HERE
+rm -f setup.ml
 oasis setup
 enable_pack_in_setup_ml core_extended
 

File base/core/oasis.sh

 EOF
 
 cd $HERE
+rm -f setup.ml
 oasis setup
 enable_pack_in_setup_ml core
 

File base/fieldslib/oasis.sh

 EOF
 
 cd $HERE
+rm -f setup.ml
 oasis setup
 enable_pack_in_setup_ml fieldslib
 

File base/sexplib/oasis.sh

 EOF
 
 cd $HERE
+rm -f setup.ml
 oasis setup
 enable_pack_in_setup_ml sexplib
 

File base/variantslib/oasis.sh

 EOF
 
 cd $HERE
+rm -f setup.ml
 oasis setup
 enable_pack_in_setup_ml variantslib