Changeset 158912 in webkit
- Timestamp:
- Nov 8, 2013 1:43:44 AM (10 years ago)
- Location:
- trunk/Tools
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/Tools/ChangeLog
r158909 r158912 1 2013-11-08 Przemyslaw Szymanski <p.szymanski3@samsung.com> 2 3 [JHBUILD] Jhbuild Makefile build bug workaround 4 https://bugs.webkit.org/show_bug.cgi?id=123971 5 6 Reviewed by Ryosuke Niwa. 7 8 After Jhbuild repository is cloned (for instance when you use 9 Tools/Scripts/update-webkitefl-libs) it is built from sources. 10 If you have GREP_OPTIONS grep env variable set (for instance 11 GREP_OPTIONS=-n) then it is jhbuild build error. Makefile.plain 12 uses shell grep. For specific GREP_OPTIONS grep output will be 13 different than expected one by Jhbuild and there is an error 14 with Jhbuild build. Jhbuild will not be built and then WebKit 15 source also will not be built. This patch is a workaround to this 16 issue. It disables GREP_OPTIONS for Jhbuild build time. 17 18 * jhbuild/jhbuild-wrapper: 19 (install_jhbuild): 20 1 21 2013-11-08 Carlos Garcia Campos <cgarcia@igalia.com> 2 22 -
trunk/Tools/jhbuild/jhbuild-wrapper
r157712 r158912 76 76 77 77 def install_jhbuild(): 78 if "GREP_OPTIONS" in os.environ: 79 del os.environ['GREP_OPTIONS'] 78 80 process = subprocess.Popen(['bash', './autogen.sh', '--prefix=%s' % installation_prefix], cwd=jhbuild_source_path) 79 81 process.wait()
Note: See TracChangeset
for help on using the changeset viewer.