Changeset 14173


Ignore:
Timestamp:
12/17/12 13:17:11 (13 years ago)
Author:
helsen
Message:

BUG: graphics lib might be a file, not a directory

File:
1 edited

Legend:

Unmodified
Added
Removed

  • issm/trunk-jpl/m4/issm_options.m4

    r14172 r14173  
    10741074                dnl check that library provided EXISTS!
    10751075                GRAPHICS_DIR=$(echo $GRAPHICS_LIB | sed -e "s/-L//g" | awk '{print $[1]}')
    1076                 if test -d "$GRAPHICS_DIR"; then
     1076                if test -d "$GRAPHICS_DIR" || test -f "$GRAPHICS_DIR"; then
    10771077                        HAVE_GRAPHICS=yes
    10781078                        GRAPHICSLIB="$GRAPHICS_LIB"
Note: See TracChangeset for help on using the changeset viewer.