mirror of
https://github.com/curl/curl.git
synced 2026-04-12 12:21:42 +08:00
71c9706959
Only actually needed servers should be listed and none is then implied if no servers are listed. Outputs a warning if "none" is still set as a server. Closes #18466
27 lines
327 B
Plaintext
27 lines
327 B
Plaintext
<testcase>
|
|
<info>
|
|
<keywords>
|
|
source analysis
|
|
symbols-in-versions
|
|
</keywords>
|
|
</info>
|
|
|
|
#
|
|
# Client-side
|
|
<client>
|
|
<name>
|
|
Verify that symbols-in-versions and headers are in sync
|
|
</name>
|
|
|
|
<command type="perl">
|
|
%SRCDIR/test1119.pl %SRCDIR/.. ../include/curl
|
|
</command>
|
|
</client>
|
|
|
|
<verify>
|
|
<stdout>
|
|
OK
|
|
</stdout>
|
|
</verify>
|
|
</testcase>
|