OpenGrok

5 if [ $# -ne 1 ]; then
58 if [ $errcase -ne 0 ]; then
61 	if [ $dual -ne 0 ]; then
70 if [ $errcase -ne 0 ]; then
76 if [ $errcase -ne 0 ]; then
79 		if [ $? -ne 255 ]; then
84 		if [ $? -ne 255 ]; then
90 		if [ $? -ne 255 ]; then
107 if [ $errcase -ne 0 ]; then
109 	if [ $? -ne 0 ]; then
115 	if [ $? -ne 0 ]; then

Indexes created Thu Apr 02 00:23:07 UTC 2026