2013-08-20 14:52:34 +04:00
|
|
|
#!/bin/sh
|
|
|
|
|
2016-02-27 02:07:00 +03:00
|
|
|
CRIU=$(readlink -f `dirname ${BASH_SOURCE[0]}`/../../criu/criu)
|
2013-08-20 14:52:34 +04:00
|
|
|
criu=$CRIU
|
2016-05-21 16:38:30 +03:00
|
|
|
CRIT=$(readlink -f `dirname ${BASH_SOURCE[0]}`/../../crit/crit)
|
|
|
|
crit=$CRIT
|