* Makefile.in (PATCHLEVEL_c): New variable.
commit47cccfda44c1685140f6769cb05433335bad998c
authorjakub <jakub@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 4 May 2015 10:39:16 +0000 (4 10:39 +0000)
committerjakub <jakub@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 4 May 2015 10:39:16 +0000 (4 10:39 +0000)
tree595e1dfe44c62a9de775dd5ec1c9d93f64bedac1
parent13965b26da91706939efa4082c8e37673df45eff
* Makefile.in (PATCHLEVEL_c): New variable.
(DATESTAMP_s, REVISION_s): If PATCHLEVEL_c is not 0,
expand the same way as if DEVPHASE_c was non-empty.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@222762 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ChangeLog
gcc/Makefile.in