rm bashisms, applied port patch

This commit is contained in:
git@daemon.de
2015-05-16 00:14:14 +02:00
parent 30e1cdf87a
commit ad8681f0d1
6 changed files with 20 additions and 27 deletions

View File

@@ -77,7 +77,7 @@ int main(int argc, char *argv[]) {
engine.dump();
break;
case 'I':
engine.from_stdin();
engine.from_input();
break;
case 's':
/* select */