Rev 16243 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 16243 | Rev 17143 | ||
---|---|---|---|
Line 55... | Line 55... | ||
55 | !endif |
55 | !endif |
56 | !endif |
56 | !endif |
57 | register= |
57 | register= |
58 | !if $fname=filedesc |
58 | !if $fname=filedesc |
59 | test=!sh grep '!' $wims_home/$wims_sesdir/user-deposit |
59 | test=!sh grep '!' $wims_home/$wims_sesdir/user-deposit |
60 | !if ! isin |
60 | !if ! isin $test |
61 | error=illegal_filedesc |
61 | error=illegal_filedesc |
62 | !exit |
62 | !exit |
63 | !endif |
63 | !endif |
64 | !endif |
64 | !endif |
65 |
|
65 | makeout=!sh module=$devdir/$mod\ |
66 | test=`echo $fname | grep -E '^(src/|help/)'`\ |
66 | test=`echo $fname | grep -E '^(src/|help/)'`\ |
67 | if [ ! -z "$$test" ]; then mkdir -p $$module/`dirname $fname`; fi\ |
67 | if [ ! -z "$$test" ]; then mkdir -p $$module/`dirname $fname`; fi\ |
68 | cat $wims_home/$wims_sesdir/user-deposit >$$module/$fname\ |
68 | cat $wims_home/$wims_sesdir/user-deposit >$$module/$fname\ |
69 | if [ ! -z "$$test" ]; then\ |
69 | if [ ! -z "$$test" ]; then\ |
70 | cd $$module; src2def\ |
70 | cd $$module; src2def\ |