audio completion notification

cd63d8e5 · sasha@mysql.sashanet.com · cf194297 · cd63d8e5 · cd63d8e5
Commit cd63d8e5 authored Aug 13, 2001 by sasha@mysql.sashanet.com
Show 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