#!/bin/csh
#
    set nonomatch

    set suffix="incl"

    if ($#argv > 0) then
#       *** Recherche d'un fichier correspondant au premier argument

        set prefix=$argv[1]
        set file=$MAKE_INCL_DIR/dev/$prefix*.$suffix

        if (($#file == 1) && (-e $file[1]))  then
#           *** Un seul fichier, ok
            shift argv
            setenv MAKE_INCL_DEV $file:t
        else if ($#file > 1) then
#           *** Ambiguite
            echo "$0 : too many matches for dev : $file"
            exit 1
        endif

    endif

make $argv