diff options
Diffstat (limited to 'config/commence.am')
| -rw-r--r-- | config/commence.am | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/config/commence.am b/config/commence.am index 518aa13..ed31102 100644 --- a/config/commence.am +++ b/config/commence.am @@ -5,6 +5,7 @@ # Shell commands used in Makefiles RM=rm -f CP=cp +TIME=time # Hardcode SHELL to be /bin/sh. Most machines have this shell, and # on at least one machine configure fails to detect its existence (janus). |