git://git.onelab.eu / build.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6ed9da1) | patch
- per Thierry's suggestions, separate out PlanetLab-specific pieces into
authorMark Huang <mlhuang@cs.princeton.edu>
Wed, 8 Mar 2006 21:29:25 +0000 (21:29 +0000)
committerMark Huang <mlhuang@cs.princeton.edu>
Wed, 8 Mar 2006 21:29:25 +0000 (21:29 +0000)
commiteba28a2c0251bad4cdba8d74aa1e936b8725e53c
tree1b1e9a63c61cdfb7fb94f03b72bf5913d850681ctree | snapshot
parent6ed9da1b3f72c8ae4da299052a343c0f96d57ec5commit | diff
- per Thierry's suggestions, separate out PlanetLab-specific pieces into
  separate site-specific Makefile planetlab.mk. Support specifying e.g.,
  PLDISTRO=planetlab on the command line to include a different
  site-specific Makefile.
- rename Makerules to Rules.mk
Makefile diff | blob | history
build