Makefile
changeset 44 e7fc05196363
parent 40 1c030a906e58
child 57 66fd832dee47
equal deleted inserted replaced
43:0305de638f1a 44:e7fc05196363
       
     1 
       
     2 ################################################################
       
     3 # Standard GNU Makefile settings.
       
     4 
     1 SHELL = /bin/sh
     5 SHELL = /bin/sh
     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 = all
    17 .DEFAULT_GOAL = all
    12 
    18 
    13 ################################################################
    19 ################################################################
    14 # Platform definition.
    20 # Platform definition.