[Swan-commit] Changes to ref refs/heads/master

[Andrew Cagney]

New commits:
commit 25a4c87ab666b94e13da80043f9b03465f8512ae
Author: Andrew Cagney <cagney at gnu.org>
Date:   Mon May 4 13:04:07 2015 -0400

    building pluto: suck Makefile.options into Makefile
    
    While Makefile is now longer; finding options is much
    easier.