Files
2025-05-21 13:43:08 +08:00

17 lines
204 B
Bash
Executable File

#!/bin/sh
if [ $# -lt 1 ];then
echo "Usage: $0 src_file "
exit;
fi
file_name=$1
tmp_file=${file_name}_tmp
dirname=`dirname $0`
$dirname/cs_opt $file_name $tmp_file
mv $tmp_file $file_name