diff options
author | Bob Weinand <bobwei9@hotmail.com> | 2013-12-21 23:52:48 +0100 |
---|---|---|
committer | Bob Weinand <bobwei9@hotmail.com> | 2013-12-21 23:52:48 +0100 |
commit | 00cc4dccb8aa710514e689fdafb922b5178e025f (patch) | |
tree | e86fa3c593823f9ad3a8d9f81e1b7b825ae90ba7 /Zend/zend_vm_gen.php | |
parent | 0dd2765687ac7340d6de11b6a4fd9cf50ced1e93 (diff) | |
download | php-git-00cc4dccb8aa710514e689fdafb922b5178e025f.tar.gz |
Fixed little typo in zend_vm_gen.php
Diffstat (limited to 'Zend/zend_vm_gen.php')
-rw-r--r-- | Zend/zend_vm_gen.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Zend/zend_vm_gen.php b/Zend/zend_vm_gen.php index 551599d7ac..49023925f1 100644 --- a/Zend/zend_vm_gen.php +++ b/Zend/zend_vm_gen.php @@ -1194,7 +1194,7 @@ function gen_vm($def, $skel) { echo "zend_vm_opcodes.h generated successfully.\n"; // zend_vm_opcodes.c - $f = fopen(__DIR__ . "zend_vm_opcodes.c", "w+") or die("ERROR: Cannot create zend_vm_opcodes.c\n"); + $f = fopen(__DIR__ . "/zend_vm_opcodes.c", "w+") or die("ERROR: Cannot create zend_vm_opcodes.c\n"); // Insert header out($f, $GLOBALS['header_text']); |