This repository has been archived on 2024-07-04. You can view files and clone it, but cannot push or open issues or pull requests.
2006-10-17 16:43:57 +02:00
|
|
|
#!/bin/sh
|
|
|
|
|
|
|
|
|
|
## To be able to run fluents without installing it, we have to set
|
|
|
|
|
## PYTHONPATH.
|
|
|
|
|
|
2007-03-01 16:27:24 +01:00
|
|
|
export PYTHONPATH=$PYTHONPATH:.
|
2006-10-17 16:43:57 +02:00
|
|
|
./bin/fluents $@
|
|
|
|
|
|
