Ignore:
Timestamp:
2023-10-03T17:05:50+13:00 (8 months ago)
Author:
davidb
Message:

Further streamlining

File:
1 edited

Legend:

Unmodified
Added
Removed

  • gs3-extensions/jena-fuseki/trunk/src/src3/CASCADE-MAKE.sh

    r38278 r38280  
    1919#  fi
    2020
     21  if [ ! -d "$GEXT_JENA/bin" ] ; then
     22    mkdir "$GEXT_JENA/bin"
     23  fi
     24
     25  if [ ! -d "$GEXT_JENA/bin/script3" ] ; then
     26    mkdir "$GEXT_JENA/bin/script3"
     27  fi
     28
    2129  echo '= Installing gs-triplestore-* server-side scripts'
    2230  /bin/cp gs-triplestore-* $GEXT_JENA/bin/script3/.
Note: See TracChangeset for help on using the changeset viewer.