1 files changed, 5 insertions, 2 deletions
diff --git a/runtime/probes/build b/runtime/probes/build
index 584f792a..ad65b0dc 100755
--- a/runtime/probes/build
+++ b/runtime/probes/build
@@ -4,18 +4,21 @@
 # simple script to build each probe directory
 
 proc usage {} {
-  puts "Usage: build \[-v\] \[clean\]"
+  puts "Usage: build \[-v\] \[clean\] \[debug\]"
   exit
 }
 
 set clean ""
 set verbose ""
+set debug ""
 
 foreach arg $argv {
   if {$arg == "clean"} {
     set clean $arg
   } elseif {$arg == "-v"} {
     set verbose $arg
+  } elseif {$arg == "debug"} {
+    set debug $arg
   } else {
     usage
   }
@@ -26,7 +29,7 @@ set cmd "exec ../build_probe $verbose $clean"
 foreach filename [lsort [glob *]] {
   if {$filename != "CVS" && [file isdirectory $filename]} {
     cd $filename
-    if {[catch {exec ../build_probe $verbose $clean} res]} {
+    if {[catch {exec ../build_probe $verbose $clean $debug} res]} {
       puts $res
       exit
     }