Use version without -dev

git-svn-id: https://adminer.svn.sourceforge.net/svnroot/adminer/trunk@1492 7c3ca157-0c34-0410-bff1-cbf682f78f5c
helix84 · Apr 23, 2010 · 86bb5da · 86bb5da
1 parent c0cc2a5
commit 86bb5da
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/compile.php b/compile.php
@@ -230,7 +230,7 @@ function compile_file($match) {
 	$file = preg_replace("~<\\?php\\s*\\?>\n?|\\?>\n?<\\?php~", '', $file);
 	$file = php_shrink($file);
 
-	$filename = $project . ($DRIVER ? "-$DRIVER" : "") . ($_SESSION["lang"] ? "-$_SESSION[lang]" : "") . ".php"; // . "-$VERSION"
+	$filename = $project . (preg_match('~-dev$~', $VERSION) ? "" : "-$VERSION") . ($DRIVER ? "-$DRIVER" : "") . ($_SESSION["lang"] ? "-$_SESSION[lang]" : "") . ".php";
 	fwrite(fopen($filename, "w"), $file); // file_put_contents() since PHP 5
 	echo "$filename created (" . strlen($file) . " B).\n";
 }