Revision 129:89f0fef1fccd SCRIPTS/process.sh

View differences:

SCRIPTS/process.sh
247 247
    fi
248 248
}
249 249

  
250
repoint() {
251
    local dir="$1"
252
    if [ -f "$dir/repoint-project.json" ] ; then
253
	( cd "$dir" ; ./repoint install ) 2>&1 | tee "$reportdir/$dir.repoint.txt"
254
    fi
255
}
256

  
250 257
find_makefile() {
251 258
    local dir="$1"
252 259
    for f in \
......
311 318
build() {
312 319
    local dir="$1"
313 320
    local log=$(logfile_for build "$dir")
321
    repoint "$dir"
314 322
    if configure_maybe "$dir"; then
315 323
	mfile=$(find_makefile "$dir")
316 324
	if [ -n "$mfile" ]; then

Also available in: Unified diff