1
0
mirror of https://github.com/MariaDB/server.git synced 2025-05-28 13:01:41 +03:00

comment added

This commit is contained in:
unknown 2009-10-07 13:02:43 +03:00
parent d8049a62ff
commit 99ff6ada7b

View File

@ -1,4 +1,5 @@
#! /bin/sh
# Builds server without query cache support
path=`dirname $0`
. "$path/SETUP.sh"