WFDB Software Package 10.7.0

File: <base>/conf/exechmod (146 bytes) 
#!/bin/sh

MODE=$1
shift

for FILE in $*
do
   if [ -s $FILE.exe ]
   then
      chmod $MODE $FILE.exe
   else
      chmod $MODE $FILE
   fi
done