remove dev_config

Former-commit-id: fa67c98a5c571cde4a6126d709b18ccc44b8c643
Former-commit-id: 97bb191c49ed444ee525f40b296088a9c013ef12
This commit is contained in:
alain viari
2015-11-08 15:00:11 +01:00
parent efb9949075
commit 8d78a72687

View File

@ -1,14 +0,0 @@
#!/bin/csh -f
set cfg = `find . -type d -name config -print | grep -v ncbi`
foreach cf ($cfg)
echo $cf
\rm -r $cf
cp -r ../config $cf
end
exit 0