Parent Directory | Revision Log | Patch
revision 1.23 by yngves, Tue Oct 29 09:58:15 2002 UTC | revision 1.24 by andrewg, Sat Aug 30 07:59:04 2003 UTC | |
---|---|---|
# | Line 536 do | Line 536 do |
536 | echo "$COMMAND: problem report mailed" | echo "$COMMAND: problem report mailed" |
537 | xs=0; exit | xs=0; exit |
538 | else | else |
539 | if $LIBEXECDIR/pr-edit --submit < $REF; then | if pr_num=`$LIBEXECDIR/pr-edit --submit --show-prnum < $REF` ; then |
540 | echo "$COMMAND: problem report filed" | echo "$COMMAND: problem report $pr_num filed" |
541 | xs=0; exit | xs=0; exit |
542 | else | else |
543 | echo "$COMMAND: the problem report is not sent." | echo "$COMMAND: the problem report is not sent." |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |