Delete run_spikes.sh

This commit is contained in:
David Rotermund 2023-01-15 00:51:23 +01:00 committed by GitHub
parent f264424863
commit 9647bc9785
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1,19 +0,0 @@
python=~/P3.10GPU/bin/python3
if [ -f "./def.json" ]
then
echo "json file found"
else
echo "No json file exists"
exit
fi
$python learn_it.py def.json
status=$?
if [ $status != "0" ]
then
echo "Problem detected (learn_it.py)!!!"
exit 1
fi