timercmn rewritten from scratch

[wxWidgets.git] / regen

diff --git a/regen b/regen
index 0d894688ccb2e9227372576ae02d87c13c938fa9..b5ec049779bb7351307f96eda6d2d7176e7b9b93 100755 (executable)
--- a/regen
+++ b/regen
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/ksh
 #
 # regenerates the file given as command line argument by running config.status
 # (the file is supposed to be generated by configure script)