This commit is contained in:
Mihail Fedorov
2018-08-25 04:15:55 +03:00
parent 26bb361375
commit 4d61e5cd99
2 changed files with 4 additions and 0 deletions

2
src/ac/ccl Executable file
View File

@@ -0,0 +1,2 @@
#!/bin/bash
./komodo-cli -ac_name=CCL $1 $2 $3 $4 $5 $6

2
src/fiat/ccl Executable file
View File

@@ -0,0 +1,2 @@
#!/bin/bash
./komodo-cli -ac_name=CCL $1 $2 $3 $4 $5 $6