Removed precommit.bat and made scripts extensionless.

2024-08-03 22:10:04 +00:00 · 2024-08-03 22:10:04 +00:00 · 1c349af445
commit 1c349af445
parent eeb01d558d
5 changed files with 5 additions and 12 deletions
--- a/2
+++ b/2
@ -1 +1 @@
-0.2408.32202
+0.2408.32209
--- a/tools/precommit.bat
+++ b/tools/precommit.bat
@ -1,9 +0,0 @@
-@echo off
-
-pushd .
-cd %~dp0
-
-php update-headers.php
-php update-version.php
-
-popd
--- a/tools/precommit.sh
+++ b/tools/precommit.sh
@ -3,7 +3,7 @@
 pushd .
 cd $(dirname "$0")

-php update-headers.php
-php update-version.php
+./update-headers
+./update-version

 popd
--- a/tools/update-headers.php
+++ b/tools/update-headers.php
@ -1,3 +1,4 @@
+#!/usr/bin/env php
 <?php
 // this file sucks, screws up the header if incomplete
 // successfully corrects filenames though
--- a/tools/update-version.php
+++ b/tools/update-version.php
@ -1,3 +1,4 @@
+#!/usr/bin/env php
 <?php
 // Updates the VERSION file (prerelease stage only, remove this when 1.0.0)