]> Savannah Git Hosting - gnulib.git/commit
argp: port to PGI 16.10
authorPaul Eggert <eggert@cs.ucla.edu>
Tue, 14 Feb 2017 16:40:23 +0000 (08:40 -0800)
committerPaul Eggert <eggert@cs.ucla.edu>
Tue, 14 Feb 2017 16:52:00 +0000 (08:52 -0800)
commit8b3e22b18791f2148da46e60040fc4d9270936b5
tree6231b2857958f73b41c51182d859cf22f08ba57f
parentf497bc109ac365359ce499aeaef74f39c7e4e8c7
argp: port to PGI 16.10

* lib/argp-pin.c (dummy): Declare as needed to make file nonempty.
ChangeLog
lib/argp-pin.c