diff options
author | Alexander Sack <asac@ubuntu.com> | 2009-07-29 01:08:24 +0200 |
---|---|---|
committer | Alexander Sack <asac@ubuntu.com> | 2009-07-29 01:08:24 +0200 |
commit | 88775747456387c8c0e1d06e9e53a6c8d0f39675 (patch) | |
tree | c7225e93629e60eb7f143a012dc8ad00dceedce5 /src/Makefile | |
parent | 27c7eca16db3a7af3a850663ba033f2573972322 (diff) |
- add moz-version-compare helper script and ship it in extra_files; this script
implements compare operations for mozilla versions as in
https://developer.mozilla.org/en/Toolkit_version_format; thanks to Benjamin
Drung <bdrung@ubuntu.com> for this contribution
- add src/moz-version-compare
- update src/Makefile
Diffstat (limited to 'src/Makefile')
-rw-r--r-- | src/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Makefile b/src/Makefile index 23f324d..6e6b360 100644 --- a/src/Makefile +++ b/src/Makefile @@ -47,6 +47,7 @@ subst_files = \ extra_files = \ xpi.mk \ lp-locale-export.mk \ + moz-version-compare \ $(NULL) extra_dirs = \ |