Makefile
changeset 599 85b103366b02
parent 596 f6be61efe78f
equal deleted inserted replaced
598:76730a624b4b 599:85b103366b02
       
     1 
       
     2 ################################################################
       
     3 # Standard GNU Makefile settings.
       
     4 
     1 SHELL = /bin/sh -eu
     5 SHELL = /bin/sh -eu
     2 export PATH := /bin:/usr/bin:${PATH}
     6 export PATH := /bin:/usr/bin:${PATH}
     3 
     7 
     4 # Disable built in pattern rules.
     8 # Disable built in pattern rules.
     5 MAKEFLAGS += -r
     9 MAKEFLAGS += -r
     6 # Disable built in variables.
    10 # Disable built in variables.
     7 MAKEFLAGS += -R
    11 MAKEFLAGS += -R
     8 # Disable built in suffix rules.
    12 # Disable built in suffix rules.
     9 .SUFFIXES:
    13 .SUFFIXES:
       
    14 # Delete target file if command fails.
       
    15 .DELETE_ON_ERROR:
    10 # Default target.
    16 # Default target.
    11 .DEFAULT_GOAL = help
    17 .DEFAULT_GOAL = help
    12 
    18 
    13 ################################################################
    19 ################################################################
    14 # Platform definition.
    20 # Platform definition.