diff --git a/collects/tests/framework/framework-test b/collects/tests/framework/framework-test index 645de72e..d7a8b640 100755 --- a/collects/tests/framework/framework-test +++ b/collects/tests/framework/framework-test @@ -1,4 +1,4 @@ -#!/bin/bash +#!/bin/sh # {{{ here # Make this PATH-independent