projects
/
svrt.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Fixed a stupid typo in the headers.
[svrt.git]
/
doit.sh
diff --git
a/doit.sh
b/doit.sh
index
a6bb4ae
..
713c371
100755
(executable)
--- a/
doit.sh
+++ b/
doit.sh
@@
-19,14
+19,14
@@
# License for more details.
#
# You should have received a copy of the GNU General Public License
# License for more details.
#
# You should have received a copy of the GNU General Public License
-# along with s
elector
. If not, see <http://www.gnu.org/licenses/>.
+# along with s
vrt
. If not, see <http://www.gnu.org/licenses/>.
nb_samples_to_save=100
nb_samples_for_training=1000
problem_list=$*
nb_samples_to_save=100
nb_samples_for_training=1000
problem_list=$*
-[[ ${problem_list} ]] || problem_list=
"1 2 3 5 6 8 11 12 13 17 18 20 21"
+[[ ${problem_list} ]] || problem_list=
$(echo {1..23})
set -e
set -e