audio completion notification

aaf71625 · unknown · 97250b9c · aaf71625 · aaf71625
Commit aaf71625 authored Aug 13, 2001 by unknown
Hide whitespace changes
Inline Side-by-side

Showing with 8 additions and 0 deletions

BUILD/FINISH.sh BUILD/FINISH.sh +8 -0

sounds/compilation_finished.au.gz sounds/compilation_finished.au.gz +0 -0

No files found.
--- a/BUILD/FINISH.sh
+++ b/BUILD/FINISH.sh
@@ -45,3 +45,11 @@ then
 else
  echo "$commands"
 fi
+comp_finished=sounds/compilation_finished.au.gz
+if [ -c /dev/audio ] && [ -f "$comp_finished" ]
+then
+ gunzip -c $comp_finished > /dev/audio
+fi
--- a/sounds/compilation_finished.au.gz
+++ b/sounds/compilation_finished.au.gz