diff --git a/gen_function_list.php b/gen_function_list.php
index ec652fa385755db492b36b1dc52d20791280f022..9f828273185131f9918ba838313a242dbe3f7e18 100755 (executable)
--- a/gen_function_list.php
+++ b/gen_function_list.php
-#!/usr/bin/php -q
+#!/usr/bin/php4 -q
<?php
/*
/*