diff options
Diffstat (limited to 'util/make_release.py')
| -rwxr-xr-x | util/make_release.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/util/make_release.py b/util/make_release.py index 7362bd77c..250ee56ac 100755 --- a/util/make_release.py +++ b/util/make_release.py @@ -113,6 +113,10 @@ system('bk export -tplain -w -r+ %s' % release_dir) # make sure scons doesn't try to run flex unnecessarily touch(release_dir, 'src/encumbered/eio/exolex.cc') +# make sure scons doesn't try to rebuild the de.msg file since it +# might fail on non linux machines +touch(release_dir, 'ext/libelf/po/de.msg') + # get rid of non-shipping code rmtree(release_dir, 'src/encumbered/dev') rmtree(release_dir, 'src/cpu/ozone') |