Workaround: shorter command in libisl test
tree800876fa5a1916d7a8cd4be274dafcdabf1131d0
-rw-r--r-- 71 .gitignore
-rw-r--r-- 2938 README.md
-rwxr-xr-x 8971 build.py
-rwxr-xr-x 4466 ci.sh
drwxr-xr-x - hbuild
drwxr-xr-x - htest
-rw-r--r-- 13006 ocr.sed
drwxr-xr-x - scenarios
-rwxr-xr-x 5426 test-in-vm.py
-rwxr-xr-x 21295 test-in-vm.sh
-rw-r--r-- 293 train-ocr.txt