1

INCLUDE_CACHE='var/include-cache'

     2

     3

## Normalize a given source path for use in the include-cache

     4

function include_cache_path {

     5

    local src="$1"

     6

    local cache="$src"

     7

     8

    cache="${cache//_/__}"

     9

    cache="${cache//\//_}"

    10

    11

    echo "$INCLUDE_CACHE/$cache"

    12

}

    13

    14

## Read the include cache for given path

    15

function include_cache {

    16

    local cache="$1"

    17

    18

    if [ ! -e "$cache" ]; then

    19

        debug "missing: $cache"

    20

    21

        return 0

    22

    fi

    23

    24

    cat $cache

    25

}

    26