--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/lib/swig/swigwin-2.0.11/Tools/check-include-path.pike	Mon Oct 21 10:42:27 2013 +0200
@@ -0,0 +1,20 @@
+/**
+ * This is a helper script to identify the proper include path
+ * for Pike header files. It should be run with the full path
+ * to the Pike executable as its single argument, e.g.
+ *
+ *     pike check-include-path.pike /usr/local/bin/pike
+ *
+ * and its output should be the correct path to the header
+ * files, e.g.
+ *
+ *     /usr/local/pike/7.2.239/include/pike
+ *
+ */
+
+int main(int argc, array(string) argv)
+{
+    string prefix = replace(argv[1], "/bin/pike", "");
+    write(prefix + "/pike/" + __MAJOR__ + "." + __MINOR__ + "." + __BUILD__ + "/include/pike");
+    return 0;
+}