diff options
| author | Rickard Green <[email protected]> | 2014-01-09 12:50:28 +0100 |
|---|---|---|
| committer | Rickard Green <[email protected]> | 2014-01-09 12:50:28 +0100 |
| commit | 47979206defa9429458e419b691138ab1b519833 (patch) | |
| tree | 8f165f0939c99be15428ce9ffc06977846095b54 /erts/emulator/utils/make_version | |
| parent | e086297a8638a9f57983fd707f6c75e3d4b6edf3 (diff) | |
| download | otp-47979206defa9429458e419b691138ab1b519833.tar.gz otp-47979206defa9429458e419b691138ab1b519833.tar.bz2 otp-47979206defa9429458e419b691138ab1b519833.zip | |
Fix issues with new versioning
Diffstat (limited to 'erts/emulator/utils/make_version')
| -rwxr-xr-x | erts/emulator/utils/make_version | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/erts/emulator/utils/make_version b/erts/emulator/utils/make_version index 7757fa8138..02b68f2b39 100755 --- a/erts/emulator/utils/make_version +++ b/erts/emulator/utils/make_version @@ -41,6 +41,9 @@ if ($ARGV[0] eq '-o') { my $release = shift; defined $release or die "No release specified"; +my $correction_package = shift; +defined $correction_package or die "No correction package specified"; + my $version = shift; defined $version or die "No version name specified"; @@ -53,6 +56,7 @@ open(FILE, ">$outputfile") or die "Can't create $outputfile: $!"; print FILE <<EOF; /* This file was created by 'make_version' -- don't modify. */ #define ERLANG_OTP_RELEASE "$release" +#define ERLANG_OTP_CORRECTION_PACKAGE "$correction_package" #define ERLANG_VERSION "$version" #define ERLANG_COMPILE_DATE "$time_str" #define ERLANG_ARCHITECTURE "$architecture" |