8,7 → 8,7 |
getcvs() { |
|
echo -ne $"\nGet cvs " |
$ret cvs checkout $1 |
$ret cvs -d :pserver:anonymous@feanor.sssup.it:/home/cvs/cvsroot checkout -P $1 |
return $ret |
|
|
44,7 → 44,8 |
#get the other shark component for dos |
wget http://shark.sssup.it/distrib/sharkuti.zip -O ./dosshark/sharkuti.zip |
wget http://shark.sssup.it/utils/unzip.exe -O ./dosshark/unzip.exe |
cp ./distrib/dos/myfilter.* ./dosshark/ |
cp ./shark/distrib/dos/myfilter.c ./dosshark/ |
cp ./shark/distrib/dos install.bat ./dosshark/ |
#create the dosshark file |
zip -r "./dosshark/dosshark.zip" dosshark |
|