Allow STP_WORK_TIMER to be changed on the stap command line.

* runtime/transport/transport.h: Allow user to override STP_WORK_TIMER
  from the command line using '-DSTP_WORK_TIMER=value'.

diff --git a/runtime/transport/transport.h b/runtime/transport/transport.h
index 1eb1facde12e52aeb5ff9904c5ca922cd1bbe587..3d85f78e5025ee452ee5ac6a944220cc7925a82a 100644 (file)
--- a/runtime/transport/transport.h
+++ b/runtime/transport/transport.h
@@ -21,7 +21,9 @@
 #endif
 
 /* how often the work queue wakes up and checks buffers */
+#ifndef STP_WORK_TIMER
 #define STP_WORK_TIMER (HZ/100)
+#endif
 
 static unsigned _stp_nsubbufs;
 static unsigned _stp_subbuf_size;