File: env

package info (click to toggle)
polymake 4.14-2
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 35,888 kB
  • sloc: cpp: 168,933; perl: 43,407; javascript: 31,575; ansic: 3,007; java: 2,654; python: 632; sh: 268; xml: 117; makefile: 61
file content (9 lines) | stat: -rwxr-xr-x 234 bytes parent folder | download | duplicates (5) 
1
2
3
4
5
6
7
8
9
 
#!/bin/bash

if [ -n "$POLYMAKE_HOST_AGENT" ]; then
  if [ -L "$POLYMAKE_HOST_AGENT" -o -S "$POLYMAKE_HOST_AGENT" ]; then
    exec /usr/bin/perl -I `dirname $POLYMAKE_HOST_AGENT` -e 'do "run.pl";' "$@"
  fi
fi

exec /usr/bin/env "$@"