aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAndrey Ponomarenko <aponomarenko@rosalab.ru>2015-10-15 00:09:32 +0300
committerAndrey Ponomarenko <aponomarenko@rosalab.ru>2015-10-15 00:09:32 +0300
commitf5ee8f6ab3d0cf29cde0df3efcbf00b0a6afd9bf (patch)
tree940fa359241aeda0b7380af5c0a29cf315bdd5af
parent6cca24c59e1f2f7a71453455c305d20497766aa2 (diff)
downloadabi-dumper-f5ee8f6ab3d0cf29cde0df3efcbf00b0a6afd9bf.tar.gz
Mark ABI dump as public if -public-headers option specified.
-rw-r--r--INSTALL2
-rw-r--r--abi-dumper.pl4
2 files changed, 5 insertions, 1 deletions
diff --git a/INSTALL b/INSTALL
index dec1615..c7b2932 100644
--- a/INSTALL
+++ b/INSTALL
@@ -7,7 +7,7 @@ RELEASE INFORMATION
Project: ABI Dumper
Version: 0.99.11
-Date: 2015-10-12
+Date: 2015-10-15
This file explains how to install and setup environment
diff --git a/abi-dumper.pl b/abi-dumper.pl
index 982bbbd..f94c796 100644
--- a/abi-dumper.pl
+++ b/abi-dumper.pl
@@ -1672,6 +1672,10 @@ sub dump_ABI()
$ABI{"Compiler"} = $SYS_COMP;
}
+ if(defined $PublicHeadersPath) {
+ $ABI{"PublicABI"} = "1";
+ }
+
my $ABI_DUMP = Dumper(\%ABI);
if($StdOut)