pxmlw6n2f/Gazebo_Distributed_TCP/tools/case_sensitive_filesystem

13 lines
219 B
Plaintext
Raw Permalink Normal View History

2019-03-28 10:57:49 +08:00
#!/bin/sh
# Create a temporary file
tmpFile=`mktemp /tmp/CaseSensitiveXXXXXXXX`
if [ -f `echo $tmpFile | tr '[A-Z]' '[a-z]'` ]
then
#echo Not Case Sensitive
rm $tmpFile
exit 1
fi
#echo Case Sensitive
rm $tmpFile