diff options
Diffstat (limited to 'bipscript-ide-v0.7.patch')
| -rw-r--r-- | bipscript-ide-v0.7.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/bipscript-ide-v0.7.patch b/bipscript-ide-v0.7.patch new file mode 100644 index 000000000000..3065ee2fc642 --- /dev/null +++ b/bipscript-ide-v0.7.patch @@ -0,0 +1,11 @@ +--- ./bipscript-ide-0.7/version.sh 2019-04-24 09:56:03.000000000 -0700 ++++ ../bipscript-ide/version.sh 2019-04-24 16:11:58.923333312 -0700 +@@ -4,7 +4,7 @@ + + version = `git describe --tags`.chomp + if version.empty? then +- version = `cat version`.chomp ++ version = ARGV[0] + end + + template = "#ifndef VERSION_H |