naoki: Make won't sort anymore. So we do it on our own.

diff --git a/tools/patch b/tools/patch
index 93be79a0a8109f98ac02ac0189f54fd960e6d786..ed3ba21a7c3185dae43860db58d3ad83a5a37f68 100755 (executable)
--- a/tools/patch
+++ b/tools/patch
@@ -1,6 +1,8 @@
 #!/bin/bash
 
-for patch in $@; do
+. $(dirname ${0})/common-functions
+
+for patch in $(listsort $@); do
        echo "Applying file ${patch}..."
 
        patch -Np1 -i ${patch}