Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
View | Details | Raw Unified | Return to bug 110233 | Differences between
and this patch

Collapse All | Expand All

(-)mlprof/Makefile (-1 / +1 lines)
Lines 10-16 Link Here
10 
BUILD := $(SRC)/build
 10 
BUILD := $(SRC)/build
11 
BIN := $(BUILD)/bin
 11 
BIN := $(BUILD)/bin
12 
LIB := $(BUILD)/lib
 12 
LIB := $(BUILD)/lib
13 
MLTON := mlton
 13 
MLTON := ../../usr/bin/mlton
14 
TARGET := self
 14 
TARGET := self
15 
FLAGS := -target $(TARGET) -default-ann 'sequenceNonUnit warn' -default-ann 'warnUnused true'
 15 
FLAGS := -target $(TARGET) -default-ann 'sequenceNonUnit warn' -default-ann 'warnUnused true'
16 
NAME := mlprof
 16 
NAME := mlprof

Return to bug 110233