diff options
| author | Michael Stahl <mstahl@redhat.com> | 2013-04-10 15:22:55 +0200 |
|---|---|---|
| committer | Michael Stahl <mstahl@redhat.com> | 2013-04-10 16:21:42 +0200 |
| commit | 6f749e9595de50bdd8b7637155d3e40d94a45400 (patch) | |
| tree | 30bc00b904edb27f040220964bde07a6b557470b /odk/util | |
| parent | d0857f0e57fb553b4ecb3b955273486dad002b90 (diff) | |
odk: remove duplicative setsdenv_unix.csh
Having to maintain only one of these seems easier, and likely nobody
uses csh any more.
Change-Id: Ia4ddb54d27999fbf17ceea0b8bd76e59a29b023d
Diffstat (limited to 'odk/util')
| -rw-r--r-- | odk/util/check.pl | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/odk/util/check.pl b/odk/util/check.pl index e138302c7fc2..5c57cbc98257 100644 --- a/odk/util/check.pl +++ b/odk/util/check.pl @@ -138,10 +138,6 @@ if (-d "$StartDir") { print "\nERROR: \"$StartDir/setsdkenv_unix.sh.in\" is missing\n"; $return++; } - if (! -e "$StartDir/setsdkenv_unix.csh.in") { - print "\nERROR: \"$StartDir/setsdkenv_unix.csh.in\" is missing\n"; - $return++; - } } print "\n"; |