From ef4ede0941ecafaad6249c2bd19eb3a89f7358e0 Mon Sep 17 00:00:00 2001 From: Junio C Hamano Date: Sun, 18 Jun 2006 21:41:01 -0700 Subject: [PATCH] Add pedantic --- Make | 14 ++++++++++++++ TODO | 3 +++ 2 files changed, 17 insertions(+) diff --git a/Make b/Make index e749ca4893..14a7644eda 100755 --- a/Make +++ b/Make @@ -20,6 +20,20 @@ refs/heads/pu) d="prefix=$HOME/git-test" ;; esac +while case $# in 0) break ;; esac +do + case "$1" in + -pedantic) + O='-O2 -Werror -ansi -pedantic -std=c99 -D_XOPEN_SOURCE=500 -D_BSD_SOURCE' + ;; + *) + echo >&2 "Eh $1?" + exit 1 + ;; + esac + shift +done + : ${O=-O2} make $d \ PYTHON_PATH=/usr/bin/python2.4 \ diff --git a/TODO b/TODO index 9f976cf2fd..8675150846 100644 --- a/TODO +++ b/TODO @@ -122,6 +122,9 @@ Technical (milder) Technical (trivial) ------------------- +* git-clone fail .git/refs/foo (Yann Dirson ) + <20060610225040.GA7766@nowhere.earth> + * git-proxy should be spawned with sh -c 'command' $1 $2. * Maybe a true git-proxy command that reads the first request -- 2.32.0.93.g670b81a890