![]() |
|
|||
File indexing completed on 2025-02-23 09:22:38
0001 #!/bin/sh 0002 0003 # Script to remove classes copied from shared directory into include and src 0004 # via copy_files.sh 0005 # 0006 # By I. Hrivnacova, IPN Orsay 0007 0008 DIRNAME=$1 0009 0010 for FILE in `ls $DIRNAME/include`; do 0011 rm -f include/$FILE 0012 done 0013 for FILE in `ls $DIRNAME/src`; do 0014 rm -f src/$FILE 0015 done 0016 0017 echo "... clean_files.sh from $1 finished" 0018
[ Source navigation ] | [ Diff markup ] | [ Identifier search ] | [ general search ] |
This page was automatically generated by the 2.3.7 LXR engine. The LXR team |
![]() ![]() |